Partial metrisability of continuous posets
نویسنده
چکیده
In this article, we characterise all continuous posets which are partially metrizable in their Scott topology. We present conditions for pmetrizability, which are both necessary and sufficient, in terms of measurements, domain-theoretic bases and, in a more general setting, in terms of radially convex metrics. These conditions, together with their refinements and generalisations, set a natural hierarchy on the class of partially metrized posets. We locate the class of countably-based continuous dcpos within this hierarchy.
منابع مشابه
Meet-continuity on $L$-directed Complete Posets
In this paper, the definition of meet-continuity on $L$-directedcomplete posets (for short, $L$-dcpos) is introduced. As ageneralization of meet-continuity on crisp dcpos, meet-continuity on$L$-dcpos, based on the generalized Scott topology, ischaracterized. In particular, it is shown that every continuous$L$-dcpo is meet-continuous and $L$-continuous retracts ofmeet-continuous $L$-dcpos are al...
متن کاملFuzzy order congruences on fuzzy posets
Fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. In this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. We focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. At last, fuzzy completecongruen...
متن کاملBehaviour Algebras
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called sequential composition, and they are partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their el...
متن کاملA note on topology of Z-continuous posets
Z-continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of Z-continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a Z-continuous poset is de ned and its properties are explored.
متن کاملActions of a separately strict cpo-monoid on pointed directed complete posets
In the present article, we study some categorical properties of the category {$bf Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with a compatible right action of a separately strict cpo-monoid $S$ which is strict continuous in each component. In particular, we show that this category is reflective and coreflective in the category of $S$-cpo's, find the free a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 16 شماره
صفحات -
تاریخ انتشار 2006